import _00SetFunc as ss
import __00SetRelation as sr

#验证逆运算的性质
Xm,Ym,n1,n2=20,15,10,15
X=set(range(Xm))
Y=set(range(Ym))
R1=sr.createrelation(X,Y,n1)
R2=sr.createrelation(X,Y,n2)
E1=sr.inverse(R1|R2)
E2=sr.inverse(R1)| sr.inverse(R2)
tv=E1==E2
print("R1,R2",R1,R2)
print("tv",tv)